/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package ru.ipo.dces.editors.expressolymp;
import javax.swing.ImageIcon;
/**
 *
 * @author push_king
 */
public class Predicate {
    String name;
    ImageIcon image;

    Predicate() {}
    Predicate(String name, ImageIcon image) {
        this.image = new ImageIcon(image.getImage().getScaledInstance(640, 640,  java.awt.Image.SCALE_SMOOTH));
        this.name = name;
    }
}
